#include <stdio.h>
#include <stdint.h>
#include <inttypes.h> 
int main()
{
    int32_t x = 1;
    uint64_t y = 2;
    printf("x = %" PRId32 ",y = %" PRIu64 "\n",x,y);
    return 0;
}